Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
241	Triolet: A Programming System that Unifies Algorithmic Skeleton Interfaces for High-Performance Cluster Computing Christopher Rodrigues Thomas Jablin Add to Reading List Source URL: impact.crhc.illinois.edu Language: English - Date: 2014-05-29 14:27:02 Compiler optimizations Parallel computing Application programming interfaces Higher-order functions Control flow Algorithmic skeleton Iterator Loop optimization Fold Computing Software engineering Computer programming
242	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
243	Origami programming Jeremy Gibbons 3 origami (˛ Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-11 11:15:52 Higher-order functions Functional programming Lisp programming language Recursion Data types Fold Map Append Anamorphism Software engineering Computing Computer programming
244	A language for functional web programming Bachelor of Science thesis Anton Ekblad University of Gothenburg Add to Reading List Source URL: ekblad.cc Language: English - Date: 2012-02-21 17:19:00 Cross-platform software Scripting languages Higher-order functions Recursion Functional languages JavaScript Fold Haskell Closure Software engineering Computing Computer programming
245	GOO Reference Manual v46 Jonathan Bachrach MIT AI Lab November 19, [removed]Introduction Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-11-19 14:59:49 Functional programming Higher-order functions Lambda calculus Subroutines Recursion Anonymous function Monad Function Map Software engineering Declarative programming Computing
246	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: personal.cis.strath.ac.uk Language: English - Date: 2013-06-15 06:02:53 Functional languages Procedural programming languages Functional programming Higher-order functions Type theory Standard ML Agda Type class Map Software engineering Computing Computer programming
247 $Integral calculus / Exponentials / Hyperbolic function / Hyperbolic geometry / Derivative / Leibniz integral rule / Differentiation rules / Partial fraction / Mathematical analysis / Mathematics / Calculus$	18 Higher Derivative of the Product of Two Functions 18.1 Leibniz Rule about the Higher Order Differentiation Theorem[removed]Leibniz) When functions f(x) and g(x)are n times differentiable, the following expression hol Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 01:11:06 Integral calculus Exponentials Hyperbolic function Hyperbolic geometry Derivative Leibniz integral rule Differentiation rules Partial fraction Mathematical analysis Mathematics Calculus
248	06 Termwise Higher Integral (Inv-Trigonometric, Inv-Hyperbolic) The 2nd or more order integrals of Inverse Trigonometric Functions and Inverse Hyperbolic Functions were all shown in 4.4 and[removed]However, as for these, t Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-10 10:41:25 Number theory Integer sequences Mathematical series 2K Inverse trigonometric functions Factorial Pi Ramanujan summation Wallis product Mathematics Mathematical analysis Complex analysis
249	1 Dirichlet Beta Generating Functions Both of hyperbolic functions and trigonometric functions can be expanded to Fourier series and Taylor series. And if the termwise higher order integration of these is carried out, Di Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 07:05:47 Exponentials Hyperbolic function Hyperbolic geometry Mathematical analysis Mathematics Special functions
250	1 Zeta Generating Functions Both of hyperbolic functions and trigonometric functions can be expanded to Fourier series and Taylor series. And if the termwise higher order integration of these is carried out, Riemann Zeta Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 09:40:24 Hyperbolic function Hyperbolic geometry Taylor series Mathematical analysis Mathematics Exponentials

UPDATE